Institute for Logic

Results: 325



#Item
31

TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

Add to Reading List

Source URL: www.wv.inf.tu-dresden.de

- Date: 2012-07-05 04:11:43
    32

    Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

    Add to Reading List

    Source URL: i12www.iti.kit.edu

    - Date: 2009-01-05 04:34:04
      33

      A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

      Add to Reading List

      Source URL: www-ps.informatik.uni-kiel.de

      - Date: 2014-06-15 10:44:21
        34

        Correspondence and Canonicity in Non-Classical Logic Sumit Sourabh INSTITUTE FOR LOGIC LANGUAGE AND COMPUTATION Correspondence and Canonicity

        Add to Reading List

        Source URL: www.illc.uva.nl

        - Date: 2015-10-29 12:05:22
          35

          Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

          Add to Reading List

          Source URL: i12www.iti.kit.edu

          - Date: 2010-06-02 04:06:07
            36

            Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland

            Add to Reading List

            Source URL: ruedi-arnold.com

            - Date: 2011-12-23 03:25:45
              37

              2016 49th Hawaii International Conference on System Sciences Collective Intelligence in Law Reforms: When the Logic of the Crowds and the Logic of Policymaking Collide Tanja Aitamurto Brown Institute for Media Innovatio

              Add to Reading List

              Source URL: thefinnishexperiment.com

              - Date: 2016-01-04 10:28:13
                38

                A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46

                Add to Reading List

                Source URL: www10.org

                - Date: 2001-03-15 03:31:16
                  39

                  Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

                  Add to Reading List

                  Source URL: i12www.iti.kit.edu

                  - Date: 2010-06-24 07:51:38
                    40

                    Surprisal-based comparison between a symbolic and a connectionist model of sentence processing Stefan L. Frank () Institute for Logic, Language and Computation University of Amsterdam Science Park 904, 10

                    Add to Reading List

                    Source URL: www.stefanfrank.info

                    - Date: 2012-03-11 05:05:07
                      UPDATE